Cubical token systems
نویسنده
چکیده
The paper deals with combinatorial and stochastic structures of cubical token systems. A cubical token system is an instance of a token system, which in turn is an instance of a transition system. It is shown that some basic results of combinatorial and stochastic parts of media theory hold almost in identical form for cubical token systems, although some underlying concepts are quite different. A representation theorem for a cubical token system is established asserting that the graph of such a system is cubical.
منابع مشابه
An Improved Token-Based and Starvation Free Distributed Mutual Exclusion Algorithm
Distributed mutual exclusion is a fundamental problem of distributed systems that coordinates the access to critical shared resources. It concerns with how the various distributed processes access to the shared resources in a mutually exclusive manner. This paper presents fully distributed improved token based mutual exclusion algorithm for distributed system. In this algorithm, a process which...
متن کاملCubical Sets and Trace Monoid Actions
This paper is devoted to connections between trace monoids and cubical sets. We prove that the category of trace monoids is isomorphic to the category of generalized tori and it is a reflective subcategory of the category of cubical sets. Adjoint functors between the categories of cubical sets and trace monoid actions are constructed. These functors carry independence preserving morphisms in th...
متن کاملIdeas from Zariski topology in the study of cubical sets, cubical maps, and their homology
Cubical sets and their homology have been used in dynamical systems as well as in digital imaging. We take a refreshing view on this topic, following Zariski ideas from algebraic geometry. The cubical topology is defined to be a topology in R in which a set is closed if and only if it is cubical. This concept is a convenient frame for describing a variety of important features of cubical sets. ...
متن کاملCubical cohomology ring of 3D photographs
Cohomology groups and the cohomology ring of threedimensional (3D) objects are topological invariants that characterize holes and their relations. Cohomology ring has been traditionally computed on simplicial complexes. Nevertheless, cubical complexes deal directly with the voxels in 3D images, no additional triangulation is necessary. This could facilitate efficient algorithms for the computat...
متن کاملCubical Sets are Generalized Transition Systems
We show in this article that \labelled" cubical sets (or Higher-Dimensional Automata) are a natural generalization of transition systems and asynchronous transition systems. This generalizes an older result of 14] which was only holding with precubical sets and subcat-egories of the classical (see 29]) categories of transition systems and asynchronous transition systems. This opens up new promi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Mathematical Social Sciences
دوره 56 شماره
صفحات -
تاریخ انتشار 2008